Madagascar: Scalable Planning with SAT
نویسنده
چکیده
The scalability of SAT to very large problems has been achieved in the last ten years, due to substantially improved encodings, SAT solvers, and algorithms for scheduling the runs of SAT solvers. This has lead to SAT-based planners that are dramatically different from the earliest implementations based on the late 1990ies technology. We discuss a SATbased planning system that implements modernized versions of all components of earliest SAT-based planners.
منابع مشابه
Incremental SAT Solving for SAT Based Planning
One of the most successful approaches to automated planning is the translation to propositional satis ability (SAT). This thesis evaluates incremental SAT solving for several modern encodings for SAT based planning. Experiments based on benchmarks from the 2014 International Planning Competition show that an incremental approach signi cantly outperforms non-incremental solving. Although, planni...
متن کاملSAT-Based Parallel Planning Using a Split Representation of Actions
Planning based on propositional SAT(isfiability) is a powerful approach to computing step-optimal plans given a parallel execution semantics. In this setting: (i) a solution plan must be minimal in the number of plan steps required, and (ii) non-conflicting actions can be executed instantaneously in parallel at a plan step. Underlying SAT-based approaches is the invocation of a decision procedu...
متن کاملA Compact and Efficient SAT Encoding for Planning
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel plan. These developments have been towards: (1) Query strategies that efficiently yield approximately optimal plans, and (2) Having a SAT procedure compute plans from relaxed encodings of the corresponding decision pr...
متن کاملIndigenous Race of Hen: Egg Physical Characteristics and Laying Performance - Case of a Family Poultry Farm in Madagascar
The purpose of the present study is to get a better knowledge of the Malagasy indigenous race of hen through its egg physical characteristics and its laying performance in order to promote villager poultry production. This study was undertaken within a local family farm, of the rural Township of Ambalamahasoa, Haute Matsiatra Region, Madagascar, with 25 hens and 4 roosters in age to reproduce. ...
متن کاملThe “South Gondwana Fauna” in the Jurassic – an example of the utility of marine Ostracods for palaeobiogeography and palaeogeographic researches
The present article is a review of a palaeobiogeographic analysis of Jurassic Ostracods from East Africa, India and Madagascar and includes also some general remarks on palaeobiogeography, biodiversity and Ostracod ecology.The palaeobiogeographic study shows the high significance of this microfossil group for the reconstruction of palaeogeographic processes, particularly plate tectonic developm...
متن کامل